проверка на модели

проверка на модели

 

проверка на модели
 —
[Я.Н.Лугинский, М.С.Фези-Жилинская, Ю.С.Кабиров. Англо-русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.]

Тематики

  • электротехника, основные понятия

EN

  • model test


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "проверка на модели" в других словарях:

  • Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …   Википедия

  • МОДЕЛИ ДЕМОГРАФИЧЕСКИЕ — МОДЕЛИ ДЕМОГРАФИЧЕСКИЕ, предназначены для описания (как правило, с помощью матем. методов) состояния нас. и его изменений, отд. элементов воспроиз ва нас. или процесса этого воспроиз ва в целом. Термин М. д. начал широко применяться в науч. лит… …   Демографический энциклопедический словарь

  • Модели (в экономике) — Модели в экономике используются начиная с 18 в. В «Экономических таблицах» Ф. Кенэ, которые К. Маркс назвал идеей «...бесспорно самой гениальной из всех, какие только выдвинула до сего времени политическая экономия» (Маркс К. и Энгельс Ф., Соч.,… …   Большая советская энциклопедия

  • проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… …   Словарь-справочник терминов нормативно-технической документации

  • проверка модели — 3.8 проверка модели: Подтверждение соответствия результатов, полученных с помощью математической модели объекта, поставленной задаче моделирования. Источник: ГОСТ Р ИСО 14837 1 2007: Вибрация. Шум и вибрация, создаваемые движением рельсового… …   Словарь-справочник терминов нормативно-технической документации

  • Модели — I Модели         в биологии применяются для моделирования (См. Моделирование) биологических структур, функций и процессов на разных уровнях организации живого: молекулярном, субклеточном, клеточном, органно системном, организменном и популяционно …   Большая советская энциклопедия

  • Проверка статистических гипотез — Проверки статистических гипотез  один из классов задач в математической статистике. Содержание 1 Статистические гипотезы 1.1 Определения 1.2 Пример …   Википедия

  • Верификация модели — [model  verification] проверка ее истинности, адекватности. В отношении к дескриптивным моделям В. м. сводится к сопоставлению расчетных результатов по модели с соответствующими данными действительности массовыми фактами и закономерностями… …   Экономико-математический словарь

  • верификация модели — Проверка ее истинности, адекватности. В отношении к дескриптивным моделям В. м. сводится к сопоставлению расчетных результатов по модели с соответствующими данными действительности массовыми фактами и закономерностями экономического развития. В… …   Справочник технического переводчика

  • СТАТИСТИЧЕСКИХ ГИПОТЕЗ ПРОВЕРКА — один из основных разделов математич. статистики, в к ром развиваются идеи и методы статистич. проверки соответствия между экспериментальными данными и гипотезами об их вероятностной природе. Пусть наблюдается случайный вектор Х= (Х 1, . . ., Xn) …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»